Commentary by cpressey on Programming Languages works
=====================================================

<!--
Copyright (c) 2025 Chris Pressey, Cat's Eye Technologies.

SPDX-License-Identifier: CC-BY-ND-4.0
-->

### PostScript Language Tutorial and Cookbook


### Systems Programming with Modula-3

Contains a really good quote about Lisp.


### Object-Oriented Programming in Eiffel

Contains some axioms for ADTs.


### Synchronous Functional Programming: The Lucid Synchrone Experiment


### What is ML/I?


### merd's home page


### GP (Graph Programs) - The Programming Languages and Systems Research Group


### The ABC Programming Language: a short introduction


### How does Tarjan\'s pseudocode work (explained to someone familiar with C or Java)?


### BASICO programming language


### (modal)


### Perl Source - www.cpan.org


### Action! Programming Language Version 3.6 - Source Code : Optimized Systems Software : Free Download, Borrow, and Streaming : Internet Archive


### Pure Programming Language


### bondi

Barry Jay's (bond-eye) pattern language.  Pattern calculus.


### Refal


### GF - Grammatical Framework


### ympbyc/Carrot: Purely functional lisp featuring: default currying, left-associative s-expression, lazy evaluation, static type system, and statically determined multimethods.


### c3d/xl: A minimalist, general-purpose programming language based on meta-programming and parse tree rewrites


### naver/tamgu: Tamgu (탐구), a FIL programming language: Functional, Imperative, Logical all in one for annotation and data augmentation


### chrisdone/z: A strict, impure, curried, partially applied programming language with rather peculiar syntax.


### egison/egison: The Egison Programming Language


### samrushing/irken-compiler: Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.


### Mesabloo/amethyst: A simple concatenative programming language


### manuel/wat-js: Concurrency and Metaprogramming for JS


### dcurrie/wren: Language with a bytecode compiler that can run on computers with only a few kB of RAM.


### alehander92/Airtight: a python-like language with hindley-milner-like type system, which is compiled to c


### clemahieu/mu: Mu is a modern, modular, system programming language and scripting toolchain


### xixixao/Shem: The compiler of the programming language Shem


### ncihnegn/miranda: Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6.


### UnrealVerseGuru/VerseProgrammingLanguage: Verse Programming Language - Functional logic language developed by Epic Games - all informations, official resources and snippets


### pro465/rhokell: rho calculus + haskell thrown into the mixer


### Danskydan/Hilltop: Hilltop is a text-based, general-purpose programming language and model that borrows concepts from spreadsheet programming.


### K \| Runtime Verification Inc